Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams Not Involved in an Inria International Labs

Quasar

• Title: Quantitative systems formal verification

• International Partner (Institution - Laboratory - Researcher):

  • CAS (China) - Department of Informatics - Lijun Zhang

• Start year: 2019

• The general scientific objectives are to extend formal analysis and verification methods such as model checking, process algebra and interactive theorem proving (Coq) to quantitative systems, more specifically probabilistic and quantum computing systems. Application fields include compositional modeling for dynamic real-time probabilistic software architectures and risk analysis. The collaboration will involve active scientists on all these fields not only from Inria and Inst Soft. CAS, but also from CWI, Verimag Grenoble, ECNU Shanghai, and partners of CWI (VU Amsterdam and Twente).